تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۱,۱۶ ثانیه یافت شد.

1. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

پدیدآورنده : Ulrich Furbach, Natarajan Shankar )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :

QA

76

.

L28

Vol

.

4130

2. Metamathematics, machines, and Godel's proof

پدیدآورنده : Shankar, Natarajan

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing ، Godel's theorem,، Automatic theorem proving

رده :

QA

9

.

65

.

S49

3. 21, 2010, Revised Selected Papers-Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20

پدیدآورنده : / lveczky (eds.)Natarajan Shankar (auth.), Peter Csaba

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :

E-BOOK

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است